Works by J. Martín Castro-Manzano

( view other items matching `J. Martín Castro-Manzano`, view all matches )
Order:
  1.  8
    Silogística intermedia, términos y árboles.J. Martín Castro-Manzano - 2019 - Tópicos: Revista de Filosofía 58:209-237.
    In this paper we propose a tableaux method for the intermediate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark